David Franklin

Results: 184



#Item
41Predicate transformer semantics / Program logic / KeY / IP / Function / Algorithm / NP / Symbolic execution / Communications protocol / Theoretical computer science / Mathematics / Applied mathematics

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
42Predicate transformer semantics / Program logic / KeY / IP / Function / Algorithm / NP / Symbolic execution / Communications protocol / Theoretical computer science / Mathematics / Applied mathematics

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
43Identification / Intellectual property law / Counterfeit / Trademark / David Franklin / Brand / Copyright infringement / Crime / Counterfeit consumer goods / Law

David Franklin Global Director of Brand Protection Sales

Add to Reading List

Source URL: www.iamai.in

Language: English - Date: 2015-01-11 23:54:39
44Franklin Dam / Wind farm / Hydro Tasmania / Douglas MacArthur / Military personnel / Military / Tasmania

Confirmed Minutes: Wednesday 17th April TasWind Community Committee Present: Mark Goode, David Bowling, Rosemary Hallet, Michael Crow, Peter Youd, John Brewster, Debbi Delaney, Duncan McFie, Greg Barratt, Andrea Bowden,

Add to Reading List

Source URL: www.kingisland.net.au

Language: English - Date: 2013-05-05 20:25:59
45Lake Pedder / Wind farm / Minutes / Tasmania / Franklin Dam / Hydro Tasmania

Confirmed Minutes: Tuesday 30th April TasWind Community Committee Present: Duncan McFie, Guy Barnes, David Bowling, Karen Taplin, Rosemary Hallet, Mark Goode, Andrea Bowden, Brett Thorn, Greg Barratt, Peter Bowling, Mich

Add to Reading List

Source URL: www.kingisland.net.au

Language: English - Date: 2013-05-16 19:30:40
46Predicate transformer semantics / Program logic / KeY / IP / NP / Symbolic execution / PP / Algorithm / Function / Theoretical computer science / Mathematics / Applied mathematics

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
47Electromagnetic spectrum / Ultraviolet / Space telescopes

UCRL-PROC[removed]Experimental performance of EUV multilayer flight mirrors for AIA Regina Soufli1*, David L. Windt2†, Jeff C. Robinson1, Sherry L. Baker1, Eberhard Spiller1, Franklin J. Dollar3, Andrew L. Aquila3, Eri

Add to Reading List

Source URL: hmi.stanford.edu

Language: English - Date: 2006-06-19 20:36:53
48National security / Criminology / Mayors of New York City / Criminal law / Zero tolerance / David Dinkins / Police / Law enforcement / Crime prevention / Law

The New York Effect The following is an edited review of ‘The City that Became Safe’ by Franklin E Zimring, from the June issue of Police News, the magazine of the New Zealand Police Association. The original article

Add to Reading List

Source URL: www.tpav.org.au

Language: English
49Cloudstreet / David Malouf / Patrick White / Miles Franklin / Voss / Australian literature / Miles Franklin Award / Tim Winton

Announcing the top ten ABR Favourite Australian Novels Of the 290 individual novels that were nominated in the ABR FAN Poll, below we list the top ten. At the foot of page 25 we simply name the ten titles that followed.

Add to Reading List

Source URL: www.australianbookreview.com.au

Language: English
50Scalability / Computing / Technology / Information technology management / 1E / Dynamic random-access memory / Central processing unit

FAWN A Fast Array of Wimpy Nodes David Andersen, Jason Franklin, Michael Kaminsky*, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan Carnegie Mellon University

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2009-10-12 16:16:22
UPDATE